More from this Author

Computer Aided Verification

by Pierre Wolper (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)